var foodfinder08 = Domain(
  data("Color", 
    gist -> "Pins have a color",
    creation -> Time(y=2011,m=11,d=12,h=20,min=20,sec=49),
    revision -> Time(y=2011,m=11,d=12,h=20,min=20,sec=49)
  ), 
  data("Icon", 
    gist -> "Pins have an icon",
    creation -> Time(y=2011,m=11,d=12,h=20,min=22,sec=49),
    revision -> Time(y=2011,m=11,d=12,h=20,min=22,sec=49)
  ), 
  data("Open hours", 
    gist -> "Opening hours of location",
    creation -> Time(y=2011,m=11,d=12,h=20,min=56,sec=12),
    revision -> Time(y=2011,m=11,d=12,h=20,min=56,sec=12)
  ), 
  data("Rating", 
    gist -> "Numerical rating 0-5",
    creation -> Time(y=2011,m=11,d=12,h=20,min=39,sec=55),
    revision -> Time(y=2011,m=11,d=12,h=20,min=39,sec=55)
  ), 
  data("Ratings") has (quality("Show a maximum of 5 ratings at a time"),data("Mean value")), 
  data("Restaurant pin type", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=4,sec=29),
    revision -> Time(y=2011,m=11,d=12,h=20,min=4,sec=29)
  ), 
  data("Reviews") has (quality("Show a maximum of 5 reviews at a time")), 
  data("Statistics", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=4,sec=3),
    revision -> Time(y=2011,m=11,d=12,h=20,min=4,sec=3)
  ), 
  data("Statistics") has (data("Location"),data("Timestamp"),data("OS identifier"),data("Sharing statistics")), 
  data("Title", 
    gist -> "The name of the location",
    creation -> Time(y=2011,m=11,d=12,h=20,min=40,sec=15),
    revision -> Time(y=2011,m=11,d=12,h=20,min=40,sec=15)
  ), 
  data("User pin type", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=4,sec=20),
    revision -> Time(y=2011,m=11,d=12,h=20,min=4,sec=20)
  ), 
  feature("Add to favourites", 
    gist -> "Option to add location to favourites",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=55,sec=37),
    revision -> Time(y=2011,m=11,d=12,h=20,min=55,sec=37)
  ), 
  feature("Alert messages", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=13,sec=47),
    revision -> Time(y=2011,m=11,d=12,h=17,min=13,sec=47),
    gist -> "The application can alert the user through different types of messages"
  ), 
  feature("Alert messages") has (feature("Version message"),feature("Release messages"),feature("Error message"),feature("Network message"),feature("Rate message")), 
  feature("Cancelable", 
    gist -> "It should be possible to exit the introductory tutorial without finishing it",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=18,sec=40),
    revision -> Time(y=2011,m=11,d=12,h=17,min=18,sec=40)
  ), 
  feature("Changeable icon", 
    gist -> "Pins should have customizable icon",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=22,sec=4),
    revision -> Time(y=2011,m=11,d=12,h=20,min=22,sec=4)
  ), 
  feature("Check-in", 
    gist -> "The application allows the user to check-in at their location through Facebook",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=21,sec=9),
    revision -> Time(y=2011,m=11,d=12,h=17,min=21,sec=9)
  ), 
  feature("Compass", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=19,min=55,sec=13),
    revision -> Time(y=2011,m=11,d=12,h=19,min=55,sec=13)
  ), 
  feature("Copy location", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=3,sec=14),
    revision -> Time(y=2011,m=11,d=12,h=20,min=3,sec=14)
  ), 
  feature("Coupon", 
    gist -> "The application will have functionality for special offers through a coupon system",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=32,sec=55),
    revision -> Time(y=2011,m=11,d=11,h=14,min=32,sec=55)
  ), 
  feature("Customisation", 
    gist -> "The application will be customisable, both for specialisation for the different franchises and for the end user",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=19,min=52,sec=48),
    revision -> Time(y=2011,m=11,d=10,h=19,min=52,sec=48)
  ), 
  feature("Customisation") has (feature("Favourites")), 
  feature("E-mail integration", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=2,sec=53),
    revision -> Time(y=2011,m=11,d=12,h=20,min=2,sec=53)
  ), 
  feature("Error margin radius", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=0,sec=50),
    revision -> Time(y=2011,m=11,d=12,h=20,min=0,sec=50)
  ), 
  feature("Error message") has (function("Notify developers"),data("Timestamp"),data("Error code"),quality("Written in English"),quality("Describes the cause of the error without the use of written code in the message."),feature("Timeout error")), 
  feature("Execution", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=16,sec=42),
    revision -> Time(y=2011,m=11,d=12,h=17,min=16,sec=42),
    gist -> "Requirements related to the execution"
  ), 
  feature("Execution") has (feature("Execution time"),feature("Execution rigidity"),feature("Network")), 
  feature("Facebook", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=3,sec=20),
    revision -> Time(y=2011,m=11,d=12,h=20,min=3,sec=20)
  ), 
  feature("Facebook") has (feature("Check-in"),feature("Message"),feature("Message wall")), 
  feature("Favourites") has (quality("Can store at least 100 favourites"),feature("Sortable"),feature("Removable"),feature("Shareable")), 
  feature("Feedback", 
    gist -> "Information sent to the developers or the statistics database",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=45,sec=41),
    revision -> Time(y=2011,m=11,d=10,h=20,min=45,sec=41)
  ), 
  feature("Feedback") has (feature("Send feature request"),feature("Developer contact"),feature("Send statistics")), 
  feature("Filter", 
    gist -> "Filtering the results is possible",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=11,sec=55),
    revision -> Time(y=2011,m=11,d=12,h=20,min=11,sec=55)
  ), 
  feature("Filter") has (feature("Opening hours"),feature("Rating"),feature("Category"),feature("Favourites"),feature("Blacklisted")), 
  feature("Follows the application marketplace guidelines", 
    gist -> "The application follows the guidelines for Android Market and Apple App Store",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=19,min=21,sec=45),
    revision -> Time(y=2011,m=11,d=10,h=19,min=21,sec=45)
  ), 
  feature("Google+ integration", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=3,sec=3),
    revision -> Time(y=2011,m=11,d=12,h=20,min=3,sec=3)
  ), 
  feature("Graphic", 
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=34,sec=26),
    revision -> Time(y=2011,m=11,d=10,h=20,min=34,sec=26)
  ), 
  feature("Hybrid view", 
    gist -> "Map can be displayed as a hybrid view",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=10,sec=6),
    revision -> Time(y=2011,m=11,d=12,h=20,min=10,sec=6)
  ), 
  feature("Info view", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=39,sec=18),
    revision -> Time(y=2011,m=11,d=12,h=20,min=39,sec=18)
  ), 
  feature("Info view") has (feature("Directions to active location from here"),data("Reviews"),data("Distance from active location"),data("Ratings"),feature("Add to favourites"),data("Address"),data("Open hours"),feature("Directions from active location"),goal("Supply sufficient information for the specified location"),feature("Share")), 
  feature("Introduction tutorial", 
    gist -> "An introductory tutorial for first-time users",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=45,sec=43),
    revision -> Time(y=2011,m=11,d=11,h=14,min=45,sec=43)
  ), 
  feature("Introduction tutorial") has (quality("Coverage"),quality("In english"),quality("Easy to understand"),feature("Retakeable"),feature("Cancelable"),quality("Efficiency")), 
  feature("Introduction") has (), 
  feature("Launch screen", 
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=25,sec=59),
    revision -> Time(y=2011,m=11,d=10,h=20,min=25,sec=59)
  ), 
  feature("Location info", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=15,sec=8),
    revision -> Time(y=2011,m=11,d=12,h=20,min=15,sec=8)
  ), 
  feature("Location info") has (data("Title"),data("Rating"),data("Icon"),feature("Info view")), 
  feature("Map Support") has (feature("Map pin")), 
  feature("Map arrow", 
    gist -> "Arrow pointing to locations rendered on top of the mapview",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=18,sec=6),
    revision -> Time(y=2011,m=11,d=12,h=20,min=18,sec=6)
  ), 
  feature("Map arrow") has (quality("Never larger than 48 pixels."),feature("Shows distance"),feature("Transforms to a map pin"),data("Icon"),feature("Reflects distance in its size")), 
  feature("Map pin") has (feature("Pin types"),feature("Radius"),feature("Changable icon"),data("Icon"),data("Color"),feature("Removable"),feature("Tapable")), 
  feature("Map support", 
    gist -> "Map features",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=12,sec=8),
    revision -> Time(y=2011,m=11,d=10,h=16,min=12,sec=8)
  ), 
  feature("Map support") has (feature("Location info"),feature("Filter"),feature("Mutable radius"),quality("Shows a maximum of 5 map arrows at a time."),feature("Map view"),feature("Map arrow")), 
  feature("Map view", 
    gist -> "The map view retrieved from Google Maps",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=13,sec=59),
    revision -> Time(y=2011,m=11,d=12,h=20,min=13,sec=59)
  ), 
  feature("Map view") has (feature("Satellite view"),feature("Hybrid view"),feature("User location"),feature("Zoomable"),feature("Regular map view")), 
  feature("Mutable radius", 
    gist -> "It should be possible to change the radius",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=16,sec=18),
    revision -> Time(y=2011,m=11,d=12,h=20,min=16,sec=18)
  ), 
  feature("Mutable radius") has (quality("Maximum radius coverage is 40 percent of the map view"),feature("viewability toggle"),quality("should if visible be seen by at least 78 percent of all viewers"),feature("Scalable")), 
  feature("Network message") has (feature("No server connection"),feature("No data traffic"),feature("No internet connection"),feature("Network timeout")), 
  feature("Network timeout", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=7,sec=4),
    revision -> Time(y=2011,m=11,d=12,h=20,min=7,sec=4)
  ), 
  feature("News", 
    gist -> "A screen that gives the user news about the franchise",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=33,sec=1),
    revision -> Time(y=2011,m=11,d=11,h=14,min=33,sec=1)
  ), 
  feature("No data traffic", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=7,sec=26),
    revision -> Time(y=2011,m=11,d=12,h=20,min=7,sec=26)
  ), 
  feature("No internet connection", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=7,sec=16),
    revision -> Time(y=2011,m=11,d=12,h=20,min=7,sec=16)
  ), 
  feature("No server connection", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=7,sec=43),
    revision -> Time(y=2011,m=11,d=12,h=20,min=7,sec=43)
  ), 
  feature("Notification support", 
    gist -> "Support for giving notifications to the user",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=44,sec=0),
    revision -> Time(y=2011,m=11,d=10,h=16,min=44,sec=0)
  ), 
  feature("Notification support") has (feature("Push notification")), 
  feature("OS support", 
    gist -> "Mobile OS support",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=5,sec=30),
    revision -> Time(y=2011,m=11,d=10,h=16,min=5,sec=30)
  ), 
  feature("OS support") has (feature("Support for Android"),feature("Support for iOS")), 
  feature("Pin types", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=23,sec=27),
    revision -> Time(y=2011,m=11,d=12,h=20,min=23,sec=27)
  ), 
  feature("Pin types") has (data("Resturant pin type"),data("User pin type")), 
  feature("Push notification", 
    gist -> "Application can send push notifications",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=6,sec=40),
    revision -> Time(y=2011,m=11,d=12,h=20,min=6,sec=40)
  ), 
  feature("Radius", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=23,sec=19),
    revision -> Time(y=2011,m=11,d=12,h=20,min=23,sec=19)
  ), 
  feature("Reflects distance in its size", 
    gist -> "Arrows should scale depending on distance",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=26,sec=15),
    revision -> Time(y=2011,m=11,d=12,h=20,min=26,sec=15)
  ), 
  feature("Regular map view", 
    gist -> "Map can be displayed as a regular map view",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=10,sec=26),
    revision -> Time(y=2011,m=11,d=12,h=20,min=10,sec=26)
  ), 
  feature("Removable", 
    gist -> "Pins should be removable",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=18,sec=49),
    revision -> Time(y=2011,m=11,d=12,h=20,min=18,sec=49)
  ), 
  feature("SMS integration", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=3,sec=28),
    revision -> Time(y=2011,m=11,d=12,h=20,min=3,sec=28)
  ), 
  feature("Satellite view", 
    gist -> "Map can be displayed as a satellite view",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=9,sec=51),
    revision -> Time(y=2011,m=11,d=12,h=20,min=9,sec=51)
  ), 
  feature("Scalable", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=7,sec=52),
    revision -> Time(y=2011,m=11,d=12,h=20,min=7,sec=52)
  ), 
  feature("Send statistics") has (data("Statistics")), 
  feature("Sharing support", 
    gist -> "Support for sharing statistics and location",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=32,sec=29),
    revision -> Time(y=2011,m=11,d=10,h=16,min=32,sec=29)
  ), 
  feature("Sharing support") has (feature("SMS integration"),feature("Copy location"),feature("Google+ integration"),feature("E-mail integration"),feature("Twitter"),feature("Facebook")), 
  feature("Shows distance", 
    gist -> "The arrows should show the distance from the user to the location",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=25,sec=17),
    revision -> Time(y=2011,m=11,d=12,h=20,min=25,sec=17)
  ), 
  feature("Support for Android", 
    gist -> "Application works under Android OS",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=5,sec=32),
    revision -> Time(y=2011,m=11,d=12,h=20,min=5,sec=32)
  ), 
  feature("Support for iOS", 
    gist -> "Application works under iOS",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=5,sec=21),
    revision -> Time(y=2011,m=11,d=12,h=20,min=5,sec=21)
  ), 
  feature("Tapable", 
    gist -> "Pins are tapable",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=19,sec=34),
    revision -> Time(y=2011,m=11,d=12,h=20,min=19,sec=34)
  ), 
  feature("Transform to a map pin", 
    gist -> "Transforms into a map pin if location within the view port",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=31,sec=46),
    revision -> Time(y=2011,m=11,d=12,h=20,min=31,sec=46)
  ), 
  feature("Twitter", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=3,sec=45),
    revision -> Time(y=2011,m=11,d=12,h=20,min=3,sec=45)
  ), 
  feature("URL scheme", 
    gist -> "The URL scheme used by iOS devices to load applications with given parameters",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=30,sec=44),
    revision -> Time(y=2011,m=11,d=10,h=20,min=30,sec=44)
  ), 
  feature("User location") has (feature("Compass"),feature("Error margin radius"),quality("Maximum error of 100 meters 80 percent of the time")), 
  feature("Zoomable", 
    gist -> "Zooming the map in and out is possible",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=20,min=11,sec=3),
    revision -> Time(y=2011,m=11,d=12,h=20,min=11,sec=3)
  ), 
  goal("Supply sufficient information for the specified location", 
    creation -> Time(y=2011,m=11,d=12,h=20,min=54,sec=32),
    revision -> Time(y=2011,m=11,d=12,h=20,min=54,sec=32)
  ), 
  product("Food Finder", 
    creation -> Time(y=2011,m=11,d=10,h=16,min=24,sec=52),
    revision -> Time(y=2011,m=11,d=10,h=16,min=24,sec=52)
  ), 
  quality("Arrow size", 
    gist -> "Arrows should never be larger than 48 pixels",
    creation -> Time(y=2011,m=11,d=12,h=20,min=29,sec=48),
    revision -> Time(y=2011,m=11,d=12,h=20,min=29,sec=48)
  ), 
  quality("Coverage", 
    gist -> "Should include at least 80 percent of all product features",
    creation -> Time(y=2011,m=11,d=12,h=20,min=49,sec=5),
    revision -> Time(y=2011,m=11,d=12,h=20,min=49,sec=5)
  ), 
  quality("Easy to understand", 
    gist -> "Should be understood by at least 80 percent of all users in a mixed English speaking focus group",
    creation -> Time(y=2011,m=11,d=12,h=20,min=49,sec=59),
    revision -> Time(y=2011,m=11,d=12,h=20,min=49,sec=59)
  ), 
  quality("Efficiency", 
    gist -> "80% of the users should be able to complete the tutorial within 2 minutes, 95 percent of the time",
    creation -> Time(y=2011,m=11,d=12,h=20,min=50,sec=47),
    revision -> Time(y=2011,m=11,d=12,h=20,min=50,sec=47)
  ), 
  quality("Follows the guidelines of the Android marketplace", 
    creation -> Time(y=2011,m=11,d=11,h=15,min=1,sec=56),
    revision -> Time(y=2011,m=11,d=11,h=15,min=1,sec=56)
  ), 
  quality("Follows the guidelines of the iOS appstore", 
    creation -> Time(y=2011,m=11,d=11,h=15,min=1,sec=50),
    revision -> Time(y=2011,m=11,d=11,h=15,min=1,sec=50)
  ), 
  quality("Location error margin", 
    gist -> "Maximum error of 100 meters, 80% of the time",
    creation -> Time(y=2011,m=11,d=12,h=20,min=2,sec=20),
    revision -> Time(y=2011,m=11,d=12,h=20,min=2,sec=20)
  ), 
  quality("Max arrows", 
    gist -> "Shows a maximum of 5 map arrows at a time",
    creation -> Time(y=2011,m=11,d=12,h=20,min=12,sec=40),
    revision -> Time(y=2011,m=11,d=12,h=20,min=12,sec=40)
  ), 
  quality("Radius Visibility", 
    gist -> "The radius should when displayed be visible to at least 78 percent of all users",
    creation -> Time(y=2011,m=11,d=12,h=20,min=8,sec=53),
    revision -> Time(y=2011,m=11,d=12,h=20,min=8,sec=53)
  ), 
  stakeholder("Android marketplace", 
    gist -> "Indirect: Provides a retail channel",
    creation -> Time(y=2011,m=11,d=11,h=16,min=59,sec=59),
    revision -> Time(y=2011,m=11,d=11,h=16,min=59,sec=59)
  ), 
  stakeholder("Apple AppStore", 
    gist -> "Indirect: provide a retail channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=6,sec=9),
    revision -> Time(y=2011,m=11,d=11,h=17,min=6,sec=9)
  ), 
  stakeholder("Apple iOS", 
    gist -> "Indirect: provides the iOS platform",
    creation -> Time(y=2011,m=11,d=11,h=17,min=5,sec=22),
    revision -> Time(y=2011,m=11,d=11,h=17,min=5,sec=22)
  ), 
  stakeholder("Design team", 
    gist -> "The design team responsible for tailoring the design of the applicataion for different franchises",
    creation -> Time(y=2011,m=11,d=11,h=16,min=48,sec=57),
    revision -> Time(y=2011,m=11,d=11,h=16,min=48,sec=57)
  ), 
  stakeholder("Development team", 
    gist -> "The development team respinsible for maintaining the product",
    creation -> Time(y=2011,m=11,d=11,h=16,min=44,sec=11),
    revision -> Time(y=2011,m=11,d=11,h=16,min=44,sec=11)
  ), 
  stakeholder("Franchises", 
    gist -> "A company aspiring to buy a company specific application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=38,sec=56),
    revision -> Time(y=2011,m=11,d=11,h=16,min=38,sec=56)
  ), 
  stakeholder("Google Android", 
    gist -> "Indirect: Provides the android platform",
    creation -> Time(y=2011,m=11,d=11,h=16,min=57,sec=57),
    revision -> Time(y=2011,m=11,d=11,h=16,min=57,sec=57)
  ), 
  stakeholder("Google maps", 
    gist -> "Indirect: The map provider for the application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=54,sec=13),
    revision -> Time(y=2011,m=11,d=11,h=16,min=54,sec=13)
  ), 
  stakeholder("ISP", 
    gist -> "Indirect: Provides a networking channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=8,sec=3),
    revision -> Time(y=2011,m=11,d=11,h=17,min=8,sec=3)
  ), 
  stakeholder("Product owner", 
    gist -> "The company owning the source code of the base application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=42,sec=32),
    revision -> Time(y=2011,m=11,d=11,h=16,min=42,sec=32)
  ), 
  stakeholder("Smartphone manifacturers", 
    gist -> "Indirect: Companies specializing in smatphones using iOS and Android OS",
    creation -> Time(y=2011,m=11,d=11,h=17,min=10,sec=5),
    revision -> Time(y=2011,m=11,d=11,h=17,min=10,sec=5)
  ), 
  stakeholder("TSP", 
    gist -> "Indirect: Provides a networking channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=8,sec=22),
    revision -> Time(y=2011,m=11,d=11,h=17,min=8,sec=22)
  ), 
  stakeholder("User", 
    gist -> "The application end user",
    creation -> Time(y=2011,m=11,d=11,h=16,min=35,sec=44),
    revision -> Time(y=2011,m=11,d=11,h=16,min=35,sec=44)
  )
)
